$\forall$$T$:Type, ${\it as}$,${\it bs}$:($T$ List), $b$:$T$. (${\it as}$ = append(${\it as}$; cons($b$; ${\it bs}$))) $\Leftarrow\!\Rightarrow$ False